Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)

contribution of setting to the study of characters and the main idea in e. brontes: wuthering heights and t. hardys: return of the native.

this thesis aims to adduce an unmitigated and comprehensive explication concerning the relationship of three significant elements of fiction: setting, chracter and theme. my research is basically placed on two outstanding novels of the 19th century: emily brontes wuthering heights and thomas hardys return of the native. my endeavour lies in studying the correlation among the three above-mention...

Profile-Guided Compiler Optimizations

Interactive Composition of Compiler Optimizations

Conventional compilers provide limited external control over the optimizations they automatically apply to attain high performance. Consequently, these optimizations have become increasingly ineffective due to the difficulty of understanding the higher-level semantics of the user applications. This paper presents a framework that provides interactive fine-grained control of compiler optimizatio...

Incremental Verification of Compiler Optimizations

Optimizations are widely used along the lifecycle of software. However, proving the equivalence between original and optimized versions is difficult. In this paper, we propose a technique to incrementally verify different versions of a program with respect to a fixed property. We exploit a safety proof of a program given by a safe inductive invariant. For each optimization, such invariants are ...

Graphical visualization of compiler optimizations

This paper describes xvpodb, a visualization tool developed to support the analysis of optimizations performed by the vpo optimizer. The tool is a graphical optimization viewer that can display the state of the program representation before and after sequences of changes, referred to as transformations, that results in semantically equivalent (and usually improved) code. The information and ins...